<%@ page language="java" import="java.util.*" pageEncoding="UTF-8"%>

<link rel="stylesheet" type="text/css" href="<%=request.getContextPath()%>/ext/resources/css/ext-all.css" />
  
<script type="text/javascript" src="<%=request.getContextPath()%>/ext/adapter/ext/ext-base.js"></script>
<script type="text/javascript" src="<%=request.getContextPath()%>/ext/ext-all.js"></script>

<script type="text/javascript" src="<%=request.getContextPath()%>/ext/src/locale/ext-lang-zh_CN.js"></script>
<link rel="stylesheet" type="text/css" href="<%=request.getContextPath()%>/ext-patch.css" />
<script type="text/javascript" src="<%=request.getContextPath()%>/ext-patch.js"></script>
<script type="text/javascript" src="<%=request.getContextPath()%>/util.js"></script>

<script type="text/javascript">
	Ext.onReady(function(){
		//初始化Ext状态管理器，在Cookie中记录用户的操作状态，如果不启用，象刷新时就不会保存当前的状态，而是重新加载 
		//象如果窗口中有用可拖动面板的话，你在拖动后如果启动了Ext.state.Manager.setProvider(new Ext.state.CookieProvider()),
		//就算刷新后面板仍然会在你拖动后的位置。如果不启用的话是不是就会按照默认的排列方式排列 
        //Ext.state.Manager.setProvider(new Ext.state.CookieProvider());
        Ext.state.Manager.setProvider(   
			 new Ext.state.CookieProvider({   
			  expires: new Date(new Date().getTime()+(1000*60*60*24*365)) //1年保存期，默认是7天   
		})); 
        
        // 开启提示功能，还有Ext.ToolTip
		Ext.QuickTips.init();

	});
	Ext.BLANK_IMAGE_URL="<%=request.getContextPath()%>/ext/resources/images/default/s.gif";
	//Ext.Msg.alert("aaa","bbb");
	Ext.ContextPath="<%=request.getContextPath()%>";//应用程序上下文
	Ext.IconPrefix="<%=request.getContextPath()%>"+"/icons";//应用程序上下文
	//alert(Ext.ContextPath);
</script>
